feat(opy): expand audited OverPy builtin surface - #151
Conversation
Teakowa
left a comment
Teakowa
left a comment
There was a problem hiding this comment.
Major — crates/opy-rs/src/manifest/data/manifest.json (hudHeader / hudSubtext)
The new source signatures omit pinned OverPy defaults for visibleTo, location, sortOrder, color, and reevaluation. At the pinned reference revision these parameters are defaulted (getAllPlayers(), LEFT, 0, WHITE, VISIBILITY_SORT_ORDER_STRING_AND_COLOR), so valid calls that omit the trailing defaults are rejected with missing-argument even though these helpers are now documented as supported.
Preserve the pinned defaulted call forms (or keep the capability explicitly bounded) and cover an omitted-default form.
Major — compatibility/compiler-expectations.json (real-world/overpy-crosshair)
This entry now expects the compiler-only unsupported-integration-surface failure for stringModifier, but crates/opy-rs/tests/differential.rs consumes the same nativeStatus through its frontend-only compile(...) + HIR validation path. The frontend resolves this fixture, so both required Rust quality jobs fail at the differential test and the compatibility gate is skipped.
Represent the frontend-success/compiler-failure stages coherently so the required workspace test passes without weakening either expectation.
2 participants
Summary
createDummy's optional facing,all/any, numeric rounding, and the audited builtin/member surface.Verification
cargo fmt --all -- --checkcargo test --locked -p opy-rs --lib— 267 passedcargo build --locked -p opy-cli --features compatibilitypython3 crates/opy-rs/src/manifest/probes/validate.py— 42 probes match the pinned oraclepython3 compatibility/run_native.py --binary target/debug/opy-cli --semantic-binary target/debug/opy-compat— 61 fixtures, no regressionsScope
This is the first coherent implementation slice for #144. The pinned inventory still has follow-up work outside this PR, including remaining upstream macros and the explicit
RULE_CONDITIONandstringModifierboundaries. Therefore this PR references #144 without closing it.Refs #144